Pageable filter driver for prospective implementation of disk space quotas

ABSTRACT

A filter driver for implementing disk space quotas is described. Quota limits on disk space taken up by files in the file system are established for users and directories, and an internal database is established to track quotas against actual disk space utilization. A driver in accordance with the invention uses kernel resources of the operating system to prevent execution of file system I/O operations which would violate any established quota. In doing so, the driver executes a logic in kernel mode which serializes file allocation operations and also serializes access to the internal database. The first step in this logic is to intercept file system I/O requests before they reach the file system driver. Then the driver determines prospectively--before the I/O request is completed--whether any quota would be exceeded by completion of the I/O request. If a quota would be exceeded, completion of the I/O request is blocked and an error status is issued. If a quota would not be exceeded, the I/O request is allowed to complete and the driver&#39;s internal database is updated with revised disk space utilization data.

This patent application is a continuation in part of provisional application 60/067,671 of the same title filed on Dec. 5, 1997.

BACKGROUND OF THE INVENTION

1. Field of the Invention

The present invention generally relates to devices for managing and controlling the allocation of disk space under an operating system, and more particularly to filter driver techniques for for implementing disk space quotas.

2. Background Description

Disk space quotas limit the amount of disk space that can be consumed by users on a system. Disk space is a resource that is necessary for proper system operation. In the absence of an enforceable disk space quota system, users are free to allocate as much disk space as they wish. This situation can interfere with system operation, as other users, as well as the operating system itself, may be unable to allocate disk space when it is needed. A disk space quota system allows system managers to set the maximum amount of disk space that each user may consume, ensuring that there will always be adequate space available for system operation.

While quota systems are implemented in many operating systems, some operating systems do not have quota systems or do not have robust quota functionality. For example, Windows NT (through version 4.0) does not provide a disk space quota system. Since Windows NT is increasingly being used in large multi-user server environments, it is necessary for third parties to provide this functionality. Some have attempted to provide this functionality using prior art techniques, but the methods they have used do not satisfactorily accomplish the goal of limiting disk space consumption by users.

For example, the prior art for implementing quotas under an operating system such as Windows NT version 4.0, where the operating system does not itself provide this functionality, relies upon the operating system's directory change notification mechanism to detect file allocation changes. Under this approach, if a quota is exceeded file protections are changed so that users may no longer create files in the directory to which the quota applies. This method is reactive; it detects changes after they have occurred, and has several disadvantages which limit its usefulness:

1. An appropriate status code cannot be returned. Changing file protections results in an "Access denied" status.

2. Absolute enforcement of quotas is not possible. The prior art method detects that a quota has already been exceeded. It does not fail an operation which would exceed a quota.

3. Files that are open cannot be affected. Once a user has opened a file he may extend it to the limit of available disk space, without being detected or prevented by the prior art method.

SUMMARY OF THE INVENTION

It is therefore an object of the present invention to implement disk space quotas in a manner which detects quota violations before they are written to disk.

A further object of the invention is to fail a disk I/O operation which would exceed a quota.

It is also an object of the invention to apply quotas to files which have been opened.

Another object of the invention is to use facilities available in the kernel of the operating system, including synchronization facilities.

A further object of the invention is to be implemented in pageable code.

The present invention is a filter driver for implementing disk space quotas. Quota limits on disk space taken up by files in the file system are established for users and directories, and an internal database is established to track quotas against actual disk space utilization. A driver in accordance with the invention uses kernel resources of the operating system to prevent execution of file system I/O operations which would violate any established quota. In doing so, the driver executes a logic in kernel mode which serializes file allocation operations and also serializes access to the internal database.

The first step in this logic is to intercept file system I/O requests before they reach the file system driver. Then the driver determines prospectively--before the I/O request is completed--whether any quota would be exceeded by completion of the I/O request. If a quota would be exceeded, completion of the I/O request is blocked and an error status is issued. If a quota would not be exceeded, the I/O request is allowed to complete and the driver's internal database is updated with revised disk space utilization data.

The invention includes a file system filter driver that has the responsibility of monitoring disk space usage by users, and enforcing the quotas established by the system manager for each user. Quotas may also be established for directories where files are stored. The invention's file system filter driver intercepts every call bound for the file system driver and processes each of them with respect to their effect on disk space allocation in relation to the established quotas.

The invention keeps a persistent database of the established quotas and the amount of disk space used. This database is updated when file allocation changes, and it is used to store the quota information across system boots.

By using a file system filter driver to implement quotas, the invention is able to evaluate the effects of file system operations before the operation is actually executed. This allows the invention to enforce quotas in real time with a high degree of precision. Since the invention is in the actual I/O path, it can fail I/Os with the appropriate "Quota Exceeded" status code and can maintain an exact record of file allocation at any point in time.

BRIEF DESCRIPTION OF THE DRAWINGS

The foregoing and other objects, aspects and advantages will be better understood from the following detailed description of a preferred embodiment of the invention with reference to the drawings, in which:

FIG. 1 is a schematic of prior art techniques for implementing quotas.

FIG. 2 is a flow chart for intercepting I/O requests in accordance with the invention.

FIG. 3 is a flow chart for IRQL post processing in accordance with the invention.

DETAILED DESCRIPTION OF A PREFERRED EMBODIMENT OF THE INVENTION

Referring now to the drawings, and more particularly to FIG. 1, there is shown a prior art method of implementing quotas by monitoring changes to the file system directory. In the prior art a kernel process receives an I/O request 11 and checks the applicable file protections 12. If applicable file protections are violated the I/O request returns "Access Denied". If applicable file protections are not violated, the I/O request is completed 13 and the NT directory 16 is updated 15. The quota application software 17 detects that an I/O event affecting quotas has been executed and then evaluates 18 whether an affected file protection in NT directory 16 should be changed as a result of the I/O event. If an affected file protection should be changed the quota application software 17 then changes the file protections 19 in the NT directory 16. This in turn affects whether a subsequent I/O request will be executed.

In contrast to this prior art method, the present invention uses a file system filter to implement a quota system. A practical implementation of the invention can be described with reference to the Windows NT 4.0 operating system. See Inside the Windows NT File System by Helen Custer (Microsoft Press, 1994), which is incorporated herein by this reference, for a description of the environment within which the invention is implemented, in particular Chapter 2 which describes the layered driver model. The present invention is implemented to provide a quota system for Windows NT 4.0 as a filter driver on top of the NTFS Driver provided by Windows NT.

A file system filter is a kernel mode driver which intercepts file system I/O requests before they reach the file system driver, and may optionally specify a routine to be executed after the file system driver completes a request. File system filter drivers are old in the art and have been used for on-disk data encryption/decryption, file system performance monitoring, and other purposes.

Turning now to FIG. 2, when a file system driver in accordance with the invention (hereinafter called "QaFilter") receives a file system I/O request 21, it processes it based on the type of request. The I/O request is evaluated 22 to determine whether the request, if completed, would have an effect on a quota. Such requests (discussed below) cover file creation or open, write, change of file ownership, file renaming, and change of file compression status. If an I/O request 21 is one of these types 23, QaFilter determines--prospectively--how the various quotas would be affected if the I/O request were completed 24. If that determination 24 is that a quota would be exceeded, then the I/O request is failed and the routine returns to the caller 25 with an appropriate "Quota Exceeded" status code 26. If the determination 22 is that no quota would be exceeded, a post processing routine is specified 27 which will determine the actual effect of the operation on disk allocation, and the I/O request is completed 28. If an I/O request is determined at the evaluation step 22 to be not of a type which could have an effect on a quota 29, then it is completed 28.

Further details of how QaFilter operates with respect to I/O requests which may affect quotas will now be explained.

Create (Open)

A request to open a file causes QaFilter to create internal data structures (not shown) describing the file and the space currently allocated to the file. The allocation size of the file to be opened is retrieved from the file system and stored in the internal data structures so that the effect on file size of subsequent operations on the file can be accurately determined.

Write, Set Information (Extend or Truncate)

A write which extends beyond the current allocated space or a Set Information operation which changes the size of the file will affect the allocation size of the file on disk. QaFilter calculates the change the operation will have on file allocation. If the change would result in exceeding any applicable quota, the operation is failed immediately with "Quota Exceeded" status. If the change is permissible, a post processing routine is specified which will be executed after the file system has completed the request. The post processing routine examines the actual effect the operation had on disk space allocation for the file and updates the data structures for the file, both in memory and in the persistent database on disk.

Set Security (Change Owner)

Since many quotas are based on file ownership, changing the owner of a file can affect disk space allocation. When a request to change file ownership is received, it is examined to determine if it would put the new owner over his quota. If so, the request is failed immediately with "Quota Exceeded" status. If the change is permissible, a post processing routine is specified which will be executed after the file system has completed the request. The post processing routine determines whether the file system successfully changed the file ownership, and if so, updates the in-memory data structures and the persistent database. The allocation size of the file is subtracted from the quota for the old owner, and added to the quota for the new owner.

Set Information (Rename)

Renaming a file can cause a change in quotas. A file may be renamed from one directory to another, which may change the quotas which apply to the directory where the file is located. Rename requests are intercepted, and they are examined to determine whether they have any effect on quotas. If the request would result in exceeding any applicable quota, it is failed immediately with a "Quota Exceeded" status. If the change is permissible, a post processing routine is specified which will execute after the file system has completed the request. The post processing routine examines the effects of the rename operation and updates the in-memory data structures and persistent database appropriately. The size of the renamed file (or multiple files in the case of a directory rename operation) is subtracted from any quotas which no longer apply, and added to any quotas which now apply, but previously did not.

File System Control (Set Compression)

Changing the compression status of a file will affect its allocation. When a compressed file is uncompressed, it may cause a user to exceed his quota. If this would be the case, the request is failed immediately with "Quota Exceeded" status. If the uncompress operation is permissible, or a file is being compressed, a post processing routine is specified which will execute after the file system has completed the request. The post processing routine determines the effect of the operation on disk space allocation and updates the in-memory data structures and the persistent database appropriately.

Cleanup

When a user closes his handle to a file, QaFilter receives a Cleanup request. This causes QaFilter to eliminate any in-memory data structures for the file which are no longer needed.

Synchronization Issues

In order to accurately detect changes in file size, operations which might affect allocation must be serialized. In order to effect serialization, it is necessary to synchronize the operations which are related. In Windows NT, this can be accomplished through the use of a kernel event, which is one of the synchronization objects made available by the operating system. A kernel event is associated with each open file. A kernel event is in one of two states, signaled or non-signaled. Multiple processes can have a handle to a kernel event. When an operation which might affect file size is detected, the event for the file is cleared by QaFilter, i.e. reset to the non-signaled or locked state. While the event is locked, other operations on the file are blocked, waiting for the event to be signaled. The event is signaled in the post-processing routing for the operation which cleared the event, effectively serializing operations.

Additionally, QaFilter must serialize access to its internal data structures. This is done through the use of a single kernel mutex, which is another synchronization object made available by the Windows NT operating system. A mutex is useful in coordinating mutually exclusive access to a shared resource (thus the name "mutex"). Only one thread at a time can own a particular mutex. In order to access QaFilter's internal data structures, a thread must own a single kernel mutex. This mutex is in a signaled state when it is not owned by any thread, and is reset to a non-signaled or locked state by a thread which needs to access those data structures. While so locked, no other thread can access those data structures, thus serializing access.

Avoiding Recursive Operations

QaFilter must do file system I/O to acquire initial space used values and to update its database when necessary. This could cause recursive calls into QaFilter, resulting in deadlocks if a resource is held. To avoid this situation, the thread id of the thread which accesses the quota database, and of a thread created to do a file system scan, is recorded, and any I/O from those threads is ignored by QaFilter and passed directly to the file system driver.

Paging I/O

Paging I/O does not cause file allocation to change and is ignored. Ignoring paging I/O allows much of the driver's code to be pageable (incurring a page fault while processing a page fault causes a system crash), and improves performance by involving QaFilter only when necessary.

Retrieving Initial File Allocation

In some cases, e.g. when opening a file for overwrite access, QaFilter must retrieve the size of a file before the file is actually opened. Ordinarily, QaFilter gets the size of a file by doing an I/O against the file object which represents the user's handle to the file. However, before the file is opened, the file object does not represent a valid handle. In this case, QaFilter opens the file before the user's open is processed, getting it's own handle to the file. This handle is used to retrieve the allocation information. Then QaFilter's handle is closed, and the user's open request is allowed to proceed.

Renaming Directories

Renaming a directory which is subject to quotas presents special problems. When a directory is renamed, causing the set of quotas which apply to the directory to change, the sum of the allocation of all the files in that directory and all of it's subdirectories must be used to adjust the applicable quotas. This is a case where an operation on one file (the directory) affects many other files. When such an operation occurs, QaFilter calculates the allocation size for the entire directory by doing a "scan", the same operation which takes place when a new quota is created. This sum is subtracted from all quotas which previously applied to the directory and no longer do, and it is added to all new quotas for the directory.

Flushing on Cleanup

When the user closes his handle to a file, some data he has written may still be in cache. The size of a file may change when this data is committed to disk, particularly in the case of a compressed file, where the file allocation will decrease significantly when the data is written to disk. Since QaFilter can no longer effectively track the file after the user's handle is closed, it must force the data to be written to the disk at this point to get an accurate final file size. It does this by issuing a flush on the file object which represents the user's handle when a cleanup operation occurs. This causes the file size to be updated, and QaFilter can then retrieve an accurate allocation for quota calculations.

IROL Issues

Windows NT I/O post-processing routines may execute at DISPATCH₋₋ LEVEL (IRQL 2) or lower. This causes some complications for QaFilter, because many routines should not be called at DISPATCH₋₋ LEVEL. For example, taking a page fault or performing I/O at DISPATCH₋₋ LEVEL may cause a system crash. Since QaFilter must access pageable file system data structures and do I/O to retrieve file sizes and to update the quota database in I/O post-processing, practice of the invention requires a method to perform these operations without using DISPATCH₋₋ LEVEL.

Turning now to FIG. 3, if the filesystem's dispatch routine 31 returned a status other 32 than STATUS₋₋ PENDING 33, then the NT I/O completion routine does not do post-processing. Instead, it just returns STATUS₋₋ SUCCESS, and the post processing is performed by QaFilter's dispatch routine 37. This guarantees that the post-processing will be done at PASSIVE₋₋ LEVEL (IRQL 0).

If the filesystem's dispatch routine returned STATUS₋₋ PENDING 33, then QaFilter's dispatch routine has already returned, and the user's I/O may be asynchronous. This means QaFilter must do other work to guarantee executing the post-processing functions at PASSIVE₋₋ LEVEL. If the NT I/O completion routine is executing at PASSIVE₋₋ LEVEL (a determination made at block 34 in FIG. 3), then QaFilter's post-processing routine 37 is called directly 38, allowing for greatest performance. If the NT I/O completion routine is called at DISPATCH₋₋ LEVEL (a determination made at block 34 in FIG. 3), then QaFilter's post-processing routine is queued 35 to a pool of worker threads which execute at PASSIVE₋₋ LEVEL, and the I/O completion is delayed by returning 36 STATUS₋₋ MORE₋₋ PROCESSING₋₋ REQUIRED to the I/O Manager. When the worker thread has completed post-processing, it completes the I/O by calling IoCompleteRequest.

The best mode of implementing the features of the invention shown and described in connection with FIG. 3 is further detailed in the following Appendix, which sets forth the details in programming language which will be understood by those skilled in the art.

    __________________________________________________________________________     APPENDIX                                                                       __________________________________________________________________________     NTSTATUS FASTCALL set.sub.-- completion (                                            PDEVICE.sub.-- OBJECT                                                                          device.sub.-- object,                                    PIRP                    irp,                                                   PQA.sub.-- COMPLETION.sub.-- ROUTINE                                                                 routine,                                                 PQFCB               qfcb)                                                          NTSTATUS      status =3D STATUS.sub.-- SUCCESS;                            PDEVICE.sub.-- OBJECT                                                                             target.sub.-- device =3D NULL;                                PIO.sub.-- STACK.sub.-- LOCATION irp.sub.-- sp =3D NULL;                       PIO.sub.-- STACK.sub.-- LOCATION irp.sub.-- next.sub.-- sp =3D NULL;         PIRP.sub.-- CONTEXT                                                                          irp.sub.-- context =3D NULL;                                     PFILE.sub.-- OBJECT                                                                            file.sub.-- obj;                                                 PAGED.sub.-- CODE();                                                           TraceEnter("set.sub.-- completion");                                         target.sub.-- device =3D ((PFILTER.sub.-- DEV.sub.-- EXTENSION)                =device.sub.-- object->DeviceExtension)->fs.sub.-- device;                         irp.sub.-- sp =3D IoGetCurrentIrpStackLocation (                                   irp);                                                                  file.sub.-- obj =3D irp.sub.-- sp->FileObject;                                     irp.sub.-- next.sub.-- sp =3D IoGetNextIrpStackLocation (                            irp);                                                                irp.sub.-- next.sub.-- sp->MajorFunction =3D                                   irp.sub.-- sp->MajorFunction;                                                      irp.sub.-- next.sub.-- sp->MinorFunction =3D                               irp.sub.-- sp->MinorFunction;                                                      irp.sub.-- next.sub.-- sp->Flags =3D irp.sub.-- sp->Flags;                   irp.sub.-- next.sub.-- sp->Parameters =3D irp.sub.-- sp->Parameters;              irp.sub.-- next.sub.-- sp->FileObject =3D irp.sub.-- sp->FileObject;        irp.sub.-- next.sub.-- sp->DeviceObject =3D target.sub.-- device;            irp.sub.-- context =3D create.sub.-- irp.sub.-- context (                                device.sub.-- object,                                                  irp,                                                                           qfcb);                                                                       if (irp.sub.-- context =3D=3D NULL)                                              {                                                                                return STATUS.sub.-- INSUFFICIENT.sub.-- RESOURCES;                        }                                                                                irp.sub.-- context->completion.sub.-- routine =3D routine;                       IoSetCompletionRoutine (                                                           irp,                                                                     post.sub.-- process,                                                           irp.sub.-- context,                                                            TRUE,                                                                          TRUE,                                                                          TRUE);                                                                       status =3D IoCallDriver (                                                              target.sub.-- device,                                                    irp);                                                                        if (status !=3D STATUS.sub.-- PENDING)                                           {                                                                                  (VOID) (*routine) (                                                                irp.sub.-- context);                                                 free irp.sub.-- context (                                                                irp.sub.-- context);                                                 }                                                                                return status;                                                               }                                                                                NTSTATUS post.sub.-- process (                                                     PDEVICE.sub.-- OBJECT devobj,                                            PIRP      irp,                                                                 PIRP.sub.-- CONTEXT                                                                           irp.sub.-- context)                                             {                                                                                NTSTATUS                                                                               status =3D STATUS SUCCESS;                                           PIO.sub.-- STACK.sub.-- LOCATION                                                                 irp.sub.-- sp =3D                                            IoGetCurrentIrpStackLocation(irp);                                               PSID  owner =3D NULL;                                                        PQSEC.sub.-- DESC                                                                        sd =3D NULL;                                                         //                                                                               // If IoCallDriver returned PENDING, mark our                                  // stack location with pending.                                                //                                                                           irp.sub.-- context->io.sub.-- status =3D irp->IoStatus.Status;                   irp.sub.-- context->io info =3D irp->IoStatus.sub.-- Information;             if (!irp->PendingReturned)                                                     {                                                                                 return STATUS.sub.-- SUCCESS;                                              }                                                                                IoMarkIrpPending( irp );                                                       if (KeGetCurrentIrql () =3D=3D PASSIVE.sub.-- LEVEL)                           {                                                                                status =3D (*irp.sub.-- context->completion routine) (                                 irp.sub.-- context);                                               free.sub.-- irp.sub.-- context (                                                     irp.sub.-- context);                                                     return status;                                                                   }                                                                              else                                                                           {                                                                                ExInitializeWorkItem (                                                               &irp.sub.-- context->work.sub.-- item,                                 work.sub.-- post,                                                              irp.sub.-- context);                                                         QaQueueWorkItem (                                                                      &irp.sub.-- context->work.sub.-- item,                                   CriticalWorkQueue);                                                          return STATUS.sub.-- MORE.sub.-- PROCESSING.sub.-- REQUIRED;                     }                                                                            }                                                                                VOID work.sub.-- post (                                                            PIRP.sub.-- CONTEXT                                                                     irp.sub.-- context)                                             {                                                                                PAGED.sub.-- CODE();                                                           (*irp.sub.-- context->completion.sub.-- routine) (                                       irp.sub.-- context);                                               IoCompleteRequest (                                                                  irp.sub.-- context->irp,                                                   IO.sub.-- NO.sub.-- INCREMENT);                                              free.sub.-- irp.sub.-- context (                                                     irp.sub.-- context);                                                     return;                                                                        }                                                                                NTSTATUS FASTCALL synchronous.sub.-- completion (                                  PDEVICE.sub.-- OBJECT                                                                      device.sub.-- object,                                        PIRP                irp,                                                       PQA.sub.-- COMPLETION.sub.-- ROUTINE                                                                routine,                                                    PQFCB qfcb)                                                                  {                                                                                  NTSTATUS  status =3D STATUS.sub.-- SUCCESS;                                  NTSTATUS io.sub.-- call.sub.-- status =3D                                       STATUS.sub.-- SUCCESS;                                                      PDEVICE.sub.-- OBJECT                                                                            target.sub.-- device =3D NULL;                                 PIO.sub.-- STACK.sub.-- LOCATION irp.sub.-- sp =3D NULL;                       PIO.sub.-- STACK.sub.-- LOCATION irp.sub.-- next.sub.-- sp =3D NULL;         PIRP.sub.-- CONTEXT                                                                        irp.sub.-- context =3D NULL;                                       PFILE.sub.-- OBJECT                                                                          file.sub.-- obj;                                                   PAGED.sub.-- CODE();                                                         TraceEnter("set.sub.-- completion");                                               target device =3D ((PFILTER.sub.-- DEV.sub.-- EXTENSION)                   =device.sub.-- object->DeviceExtension) ->fs.sub.-- device;                        irp.sub.-- sp =3D IoGetCurrentIrpStackLocation (                                   irp);                                                                  file.sub.-- obj =3D irp.sub.-- sp->FileObject;                                     irp.sub.-- next.sub.-- sp =3D IoGetNextIrpStackLocation (                            irp);                                                                irp.sub.-- next.sub.-- sp->MajorFunction =3D                                   irp.sub.-- sp->MajorFunction;                                                      irp.sub.-- next.sub.-- sp->MinorFunction =3D                               irp.sub.-- sp->MinorFunction;                                                      irp.sub.-- next.sub.-- sp->Flags =3D irp.sub.-- sp->Flags;                   irp.sub.-- next.sub.-- sp->Parameters =3D irp.sub.-- sp->Parameters;              irp.sub.-- next.sub.-- sp->FileObject =3D irp.sub.-- sp->FileObject;        irp.sub.-- next.sub.-- sp->DeviceObject =3D target.sub.-- device;            irp.sub.-- context =3D create.sub.-- irp.sub.-- context (                                device.sub.-- object,                                                  irp,                                                                           qfcb);                                                                       if (irp.sub.-- context =3D=3D NULL)                                              {                                                                                return STATUS.sub.-- INSUFFICIENT.sub.-- RESOURCES;                        }                                                                                irp.sub.-- context->completion.sub.-- routine =3D routine;                     KeInitializeEvent (                                                                  &irp.sub.-- context->event,                                              NotificationEvent,                                                             FALSE);                                                                      IoSetCompletionRoutine (                                                               irp,                                                                     synch.sub.-- post,                                                             irp.sub.-- context,                                                            TRUE,                                                                          TRUE,                                                                          TRUE);                                                                       io.sub.-- call.sub.-- status =3D IoCallDriver (                                        target.sub.-- device,                                                    irp);                                                                        KeWaitForSingleObject (                                                                  &irp.sub.-- context->event,                                            Executive,                                                                     KernelMode,                                                                    FALSE,                                                                         NULL);                                                                       status =3D (*routine) (                                                                irp.sub.-- context);                                                   ASSERT(status =3D=3D STATUS.sub.-- SUCCESS);                                     free.sub.-- irp.sub.-- context (                                                     irp.sub.-- context);                                                   return io.sub.-- call.sub.-- status;                                           }                                                                                NTSTATUS synch.sub.-- post (                                                           PDEVICE.sub.-- OBJECT devobj,                                                  PIRP  irp,                                                                     PIRP.sub.-- CONTEXT irp.sub.-- context)                              {                                                                                  //                                                                           // If IoCallDriver returned PENDING, mark our                                // stack location with pending.                                                    //                                                                         if (irp->PendingReturned)                                                        {                                                                                IoMarkIrpPending( irp );                                                   }                                                                                irp.sub.-- context->io.sub.-- status =3D irp->IoStatus.Status;                 irp.sub.-- context->io.sub.-- info =3D irp->IoStatus.Information;             KeSetEvent (                                                                            &irp.sub.-- context->event,                                                     0,                                                                    FALSE);                                                                      return STATUS.sub.-- SUCCESS;                                                  }                                                                              __________________________________________________________________________

While the invention has been described in terms of a single preferred embodiment, those skilled in the art will recognize that the invention can be practiced with modification within the spirit and scope of the appended claims. 

Having thus described our invention, what we claim as new and desire to secure by Letters Patent is as follows:
 1. A filter driver for use with an operating system, comprising:means for establishing disk space quotas, said quotas being established in relation to a plurality of quota parameters; means for determining disk space utilization in relation to each of said quota parameters; means for storing said disk space quotas and said disk space utilization in a file structure; means for monitoring disk I/O; means for prospectively evaluating the effect of said disk I/O on said disk space utilization, said effect being a revised disk space utilization in relation to said disk space quotas; means for terminating said disk I/O if said revised disk space utilization exceeds any of said disk space quotas; and means for updating said file structure to reflect completion of said disk I/O if said revised disk space utilization does not exceed any of said disk space quotas.
 2. The filter driver of claim 1, wherein said monitoring means further comprises:means for detecting disk I/O operations, each said disk I/O operation being associated with a named disk file; means for serializing operations on said named disk file.
 3. The filter driver of claim 2, wherein said serializing means further comprises:means for locking a synchronizing object, said synchronizing object being associated with said named disk file, and said locking means serving to block further disk I/O operations on said named disk file.
 4. The filter driver of claim 3, wherein said synchronizing object is a kernel event in the Windows NT operating system.
 5. The filter driver of claim 1, wherein said plurality of quota parameters comprise one or more ownership quotas and one or more directory quotas, each said ownership quota being a maximum quantity of said disk space in use by files associated with a particular owner, and each said directory quota being a maximum quantity of said disk space in use by files associated with a particular directory.
 6. The filter driver of claim 1, wherein access to said file structure is serialized.
 7. The filter driver of claim 1, wherein said monitoring means ignores paging I/O.
 8. The filter driver of claim 1, wherein said prospective evaluation means further comprises:means for determining said revised disk space utilization; and means for comparing said revised disk space utilization to said disk space quotas. 